State-Transition Diagrams for Biologists

State-Transition Diagrams for Biologists

It is clearly in the tradition of biologists to conceptualize the dynamical evolution of biological systems in terms of state-transitions of biological objects. This paper is mainly concerned with (but obviously not limited too) the immunological branch of biology and shows how the adoption of UML (Unified Modeling Language) state-transition diagrams can ease the modeling, the understanding, th...

State Transition Diagrams

State transition diagrams are a graphic notation that has long been used to represent computing systems. Two basic models of state transition diagrams were introduced simultaneously by G.H. Mealy and E.F. Moore in the mid fifties, and have played a major role in hardware design for a long time. These basic models have been expanded significantly in the recent past to include such features as th...

Algebraic State Transition Diagrams

This paper introduces a graphical notation called algebraic state transition diagrams (ASTD), which allows for the combination of state transition diagrams using classical process algebra operators like sequence, iteration, parallel composition, quantified choice and quantified synchronization. It is inspired from automata, statecharts and process algebras. Hence, it combines the strength of al...

SHERBROOKE Algebraic State Transition Diagrams

This paper introduces a graphical notation called algebraic state transition diagrams (ASTD), which allows for the combination of state transition diagrams using classical process algebra operators like sequence, iteration, parallel composition, quantified choice and quantified synchronization. It is inspired from automata, statecharts and process algebras. Hence, it combines the strength of al...

State Transition Diagrams Radu Grosu